Petri net control

Petri net control
Автоматика: управляющее устройство (напр. ГПС) на базе сетей Петри

Универсальный англо-русский словарь. . 2011.

Игры ⚽ Поможем написать реферат

Смотреть что такое "Petri net control" в других словарях:

  • Petri net — A Petri net (also known as a place/transition net or P/T net) is one of several mathematical modeling languages for the description of distributed systems. A Petri net is a directed bipartite graph, in which the nodes represent transitions (i.e.… …   Wikipedia

  • Red de Petri — Saltar a navegación, búsqueda Una Red de Petri es una representación matemática de un sistema distribuido discreto. Las redes de Petri fueron definidas en los años 1960 por Carl Adam Petri. Son una generalización de la teoría de autómatas que… …   Wikipedia Español

  • Actor model — In computer science, the Actor model is a mathematical model of concurrent computation that treats actors as the universal primitives of concurrent digital computation: in response to a message that it receives, an actor can make local decisions …   Wikipedia

  • Dynamic Enterprise Modeling — (DEM) is a Enterprise Modeling approach developed by the BaaN company, and used for the Baan Enterprise Resource Planning system which aims to align and implement it in the organizational architecture of the end using company .[1][2] According to …   Wikipedia

  • ExSpecT — (Executable Specification Tool) is a process modelling toolbased on high level Petri nets.ExSpecT modelsAn ExSpecT model is a hierarchical, coloured Petri net: it consists of transitions and places, connected by arcs; the structure of these nets… …   Wikipedia

  • WoPeD — (Workflow Petri Net Designer) o Diseñador de Flujo de Control de Redes de Petri (en español). Es un programa de código abierto desarrollado bajo la licencia LGPL, cuya principal idea es proveer una herramienta de modelado sencilla de usar para… …   Wikipedia Español

  • Gordon Pask — Andrew Gordon Speedie Pask (June 28, 1928, Derby – March 29, 1996, London) was an English cybernetician and psychologist who made significant contributions to cybernetics, instructional psychology, experimental epistemology and educational… …   Wikipedia

  • Petriscript — is a modelling language for Petri Nets, designed by [http://lip6.fr/Alexandre.Hamez Alexandre Hamez] and [http://www src.lip6.fr/ Xavier.Renault Xavier Renault] .The CPN AMI platform provides many tools to work on Petri net such as verifying or… …   Wikipedia

  • Asynchronous circuit — An asynchronous circuit is a circuit in which the parts are largely autonomous. They are not governed by a clock circuit or global clock signal, but instead need only wait for the signals that indicate completion of instructions and operations.… …   Wikipedia

  • Token — may refer to:* Token (railway signalling), a physical object given to a locomotive driver to authorize him to use a particular stretch of single railway track * Token coin, a piece of metal or other composition used as a substitute for currency;… …   Wikipedia

  • Process calculus — In computer science, the process calculi (or process algebras) are a diverse family of related approaches to formally modelling concurrent systems. Process calculi provide a tool for the high level description of interactions, communications, and …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»